机译:具有固定偏移量的全局多处理器调度的模型检查方法
机译:用于多处理器全局固定优先级调度中的零星任务的精确可调度性测试的预定关系
机译:使用进位限制的非抢先固定优先级多处理器调度的改进可调度性分析
机译:具有符号模型检查的全局固定优先级或EDF多处理器调度的调度分析
机译:分析运行非抢先作业的多处理器平台的嵌入式系统中的最佳功耗感知调度技术。
机译:三磷酸腺苷亲和探针的应用和计划的多反应监测分析全球细胞组中亚砷酸盐治疗的反应。
机译:使用符号模型检查的全局固定优先级或EDF多处理器调度的可调度性分析*